Static program analysis - PDFSEARCH.IO - Document Search Engine

Static program analysis
Results: 262

#	Item
221	Contact: James Rawstron Vector Software, Inc. T: [removed]F: [removed] Add to Reading List Source URL: www.vectorcast.com Language: English - Date: 2014-07-16 15:03:25 C programming language MISRA C Cross-platform software Motor Industry Software Reliability Association PC-Lint C Vector Gimpel Static program analysis Computing Software engineering Computer programming
222	Microsoft Word - NAVSEA-Tools-Paper[removed]doc Add to Reading List Source URL: samate.nist.gov Language: English - Date: 2013-05-07 16:54:57 Software testing Program analysis Fault injection Veracode Application security Code review Programming tool Compiler Static program analysis Software Computing Software review
223	ISO/IEC JTC 1/SC 22/WG 14/N[removed]Rationale for a C Secure Coding Analysis Technical Specification David Keaton, CERT[removed] Add to Reading List Source URL: www.open-std.org Language: English - Date: 2011-09-23 20:25:05 Procedural programming languages Cross-platform software ISO/IEC JTC1 Static program analysis International Organization for Standardization Buffer overflow C Computing Software engineering Programming language theory
224	Loopfrog: A Static Analyzer for ANSI-C Programs Daniel Kroening∗ , Natasha Sharygina† , Stefano Tonetta‡ , Aliaksei Tsitovich† and Christoph M. Wintersteiger§ ∗ Computing Laboratory, Oxford University, Oxford, Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-01-17 07:46:25 Formal methods Extended static checking Software testing Model checking Abstract interpretation Static program analysis Loop invariant Software verification C Software engineering Computing Computer programming
225	Termination Analysis with Compositional Transition Invariants? Daniel Kroening1 , Natasha Sharygina2,4 , Aliaksei Tsitovich2 , and Christoph M. Wintersteiger3 1 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-04-30 09:51:18 Program logic Formal methods Mathematical logic Static program analysis Termination analysis Predicate transformer semantics Transitive closure Algorithm Control flow Mathematics Abstract algebra Theoretical computer science
226	Kestrel Technology The Next Generation Tool for Static Code Analysis: Proving the Absence of Critical Vulnerabilities in C Source Code The Company Kestrel Technology (KT) specializes in sound semantic static analysis wit Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2014-09-26 13:23:09 Software quality Software testing Computer network security Program analysis Hacking Vulnerability Application security Static program analysis Buffer overflow Cyberwarfare Software bugs Computer security
227	Coverity Case Study SEGA SEGA Improves Efficiency of Development Process by 20% with Coverity® Static Analysis Add to Reading List Source URL: www.coverity.com Language: English - Date: 2013-12-30 12:14:56 Computer programming Source code Software bug Software development process Software quality Static program analysis Sega Source lines of code Open source software security Software engineering Software development Coverity
228	Coverity Case Study SEGA SEGA Improves Efficiency of Development Process by 20% with Coverity® Static Analysis Add to Reading List Source URL: www.coverity.com Language: English - Date: 2013-12-30 12:14:56 Computer programming Source code Software bug Software development process Software quality Static program analysis Sega Source lines of code Open source software security Software engineering Software development Coverity
229	Coverity Case Study Mitsubishi Electric Adopts Development Testing to Enhance Customer Satisfaction Coverity® Static Analysis selected as solution of choice in Car Navigation System Development Add to Reading List Source URL: www.coverity.com Language: English - Date: 2013-12-30 12:14:56 Computing Coverity Software review Static program analysis Software bug Code review Software quality Software development process Open source software security Computer programming Software engineering Source code
230	Microsoft Word - PENDERGRASS.LEE.FINAL[removed]SARALAB-V4[removed]docx Add to Reading List Source URL: www.jhuapl.edu Language: English - Date: 2013-09-26 17:35:46 Program analysis APL IBM software Static program analysis Coverity Klocwork Model checking Parasoft Cppcheck Software Computing APL programming language family